package ca.compsci.opent.compiler.semantics;

public class Expression extends TypedSymbol {
	public Expression(Type t, Type p) {
		setType(t);
		setPromotedType(p);
	}
	
	private Type promoted_type = null;
	
	public void setPromotedType(Type t) {
		promoted_type = t;
	}
	
	public Type getPromotedType() {
		return promoted_type;
	}
}
